Moshe Y. Vardi author data searchable via API